Access Control / Verification and Validation / Petri Nets / Formal Specification / Real Time Systems / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control / Active Database / Formal Verification / Access Control Models / Petri Net / Workflow Management System / Authorisation / Real Time Application / Role Based Access Control
Information Technology / Service Oriented Architecture / Petri Nets / Levels of Abstraction / Conceptual Model / Manufacturing Industry / Petri Net / Web Service / Remote Monitoring / Manufacturing System / Production System / Manufacturing Industry / Petri Net / Web Service / Remote Monitoring / Manufacturing System / Production System
Engineering / Expert Systems / Petri Nets / Traffic control / Knowledge Representation / Control system / Knowledge Based System / Decision support system / expert System / Decision Support / Knowledge base / Petri Net / Expert knowledge / Fuzzy Set / Fuzzy Rules / Support System / Rule Based / Control system / Knowledge Based System / Decision support system / expert System / Decision Support / Knowledge base / Petri Net / Expert knowledge / Fuzzy Set / Fuzzy Rules / Support System / Rule Based